#ifndef CPU_PORT_H
#define CPU_PORT_H

#include "device.h"

void SystemCoreClockUpdate(void);
void erad_cmt_mode_init(void);

extern rt_uint8_t* rt_hw_stack_init(void* tentry,
                             void* parameter,
                             rt_uint8_t* stack_addr,
                             void* texit);

#endif


